1
Foundations of Logic: Real Number Comparison Facts and Derivation of Inequality Properties
MATH1001CA-PEP-CNLesson 2
00:00
ab > 0 ⇔ a > bba
Comparing the magnitudes of real numbers forms the foundation of mathematical logic. On the number line, real numbers correspond one-to-one with points. By observing their positions, we can intuitively perceive 'inequality'.

Fundamental Facts:
  • If $a - b$ is positive, then $a > b$;
  • If $a - b$ equals 0, then $a = b$;
  • If $a - b$ is negative, then $a < b$.
Zero is the boundary between positive and negative numbers, serving as a 'benchmark' for comparing the magnitudes of real numbers. By using the method of difference, we can transform the comparison of complex algebraic expressions into determining the sign of their difference—this is the most fundamental approach to proving inequalities.
Core Properties of Inequalities:
1. Transitivity: $a > b, b > c \Rightarrow a > c$
2. Addition: $a > b \iff a + c > b + c$
3. Multiplication: $c > 0 \Rightarrow ac > bc$; $c < 0 \Rightarrow ac < bc$
$$a > b \iff a - b > 0$$